Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
151	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
152	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
153	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics
154	An Approach towards the Study of Symmetric Queries Marc Gyssens Jan Paredaens Dirk Van Gucht Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-08 12:36:55 Logical syntax Metalogic Philosophical logic Propositional calculus FO Symmetric matrix Logic Deduction Entailment
155	Proof General meets IsaWin Combining Text-Based And Graphical User Interfaces David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Christoph L¨ Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-06-02 05:55:58 Automated theorem proving Logical syntax Functional languages Proof assistant Isabelle Theorem prover Coq Mathematical proof IP Software Logic Theoretical computer science
156	ON THE NECESSITY OF (SOMETIMES) BEING SYNTHETIC COMMENT ON POGGIOLESI Giuseppe Primiero Universiteit Gent IEG – University of Oxford Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-19 09:13:33 Non-classical logic Mathematical logic Logical syntax Mathematical proof Paraconsistent logic Intuitionism Analytic proof Modal logic Formal proof Logic Philosophical logic Proof theory
157	Template for Preparation of One-Page Papers for ISBI 2015 First A. Author, Second B. Author, Jr., and Third C. Author, Member, IEEE Add to Reading List Source URL: biomedicalimaging.org Language: English - Date: 2014-11-06 17:01:58 Number International System of Units Variable Mathematics Logical syntax Group theory
158	Opinion Deductive reasoning Phil Johnson-Laird∗ This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:18 Deduction Propositional calculus Logical consequence Logical syntax Inference Mental model Deductive reasoning Natural deduction Entailment Logic Science Reasoning
159	Copyright This document is Copyright © 2012–2015 by the LibreOffice Documentation Team. Contributors are listed below. You may distribute it and/or modify it under the terms of either the GNU General Public License (_ Add to Reading List Source URL: wiki.documentfoundation.org Language: English - Date: 2015-04-01 00:24:22 Portable software Formal languages LibreOffice OpenOffice.org Logical syntax Well-formed formula HTML Spreadsheet OpenDocument Software Computing Markup languages
160	Case for support projects — most recently venturing into interdisciplinary research, when he led the six year Dependability IRC.1 He also has a Platform grant (TrAmS) on “Trustworthy Ambient Systems”. Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Formal methods Automated theorem proving Logic in computer science Logical syntax Mathematical proof Rippling Automated proof checking Rodin tool Isabelle Theoretical computer science Mathematics Logic

UPDATE